Showing 1 - 9 of 9 Results
1.
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10... by Johnsen, Einar Broch, Petre... ISBN: 9783642386121 List Price: $89.99
2.
Tests and Proofs : 11th International Conference, TAP 2017, Held As Part of STAF 2017, Marbu... by Gabmeyer, Sebastian, Johnse... ISBN: 9783319614663 List Price: $60.00
3.
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of... by Abraham, Erika, Johnsen, Ei... ISBN: 9783319307336 List Price: $94.00
4.
Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10... by Johnsen, Einar Broch, Petre... ISBN: 9783642386138 List Price: $95.00
5.
Service-Oriented and Cloud Computing : 5th Ifip Wg 2. 14 European Conference, Esocc 2016, Vi... by Aiello, Marco, Johnsen, Ein... ISBN: 9783319444819 List Price: $94.00
6.
Service-Oriented and Cloud Computing : 6th IFIP WG 2. 14 European Conference, ESOCC 2017, Os... by De Paoli, Flavio, Schulte, ... ISBN: 9783319672618 List Price: $79.99
7.
Formal Methods for Multicore Programming : 15th International School on Formal Methods for t... by Bernardo, Marco, Johnsen, E... ISBN: 9783319189406 List Price: $72.00
8.
Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held As ... by Johnsen, Einar Broch, Schae... ISBN: 9783319929699 List Price: $79.99